🔱 Galois Theory

Field Extensions, Error Correction, Algebraic Structures, Abstract Algebra

Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·1d·
Discuss: Hacker News
💧Liquid Types
Characterization of the computed homology and cohomology bases -- technical report
arxiv.org·11h
🌐Computational Topology
NightMARE on 0xelm Street, a guided tour
elastic.co·15h
🧪Binary Fuzzing
Death to Type Classes
jappie.me·3h·
Discuss: Hacker News
🧠Lisp Dialects
Charles Sanders Peirce, George Spencer Brown, and Me • 19
inquiryintoinquiry.com·2d
🔤Type Theory
Nyquist–Shannon Sampling Theorem
en.wikipedia.org·1h·
Discuss: Hacker News
🔊Audio Compression Theory
AI is Failing Nigerian Languages: 7 Critical Loopholes Developers Must Fix
dev.to·5h·
Discuss: DEV
🇯🇵Japanese Computing
Integrating Clusters
optional.is·3h
🇸🇪Nordic Algorithms
Paul's Online Math Notes
tutorial.math.lamar.edu·12h·
Discuss: Hacker News
📜Manuscript Calculus
StringTape: Apache Arrow-compatible space-efficient "tape" class in pure Rust
github.com·20h·
Discuss: Hacker News
🦀Rust Verification
Lobsters Interview with Susam
lobste.rs·13m·
Discuss: Lobsters
🔗Concatenative Programming
Gauss, an Agent for Autoformalization
math.inc·19h·
Discuss: Hacker News, Hacker News
🏛️Agda
GHC Developer Blog: GHC 9.14.1-alpha2 is now available
haskell.org·15h
💧Liquidhaskell
Context Pruning in Conversational Agent
poonai.xyz·2d·
Discuss: Hacker News
⚡Proof Automation
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·1d·
Discuss: Hacker News
🔤Type Theory
On This Day in Math - September 10
pballew.blogspot.com·2d·
Discuss: www.blogger.com
🔲Cellular Automata
FatNums: An Alternate Representation for School Arithmetic (2020)
parentheticallyspeaking.org·9h·
Discuss: Lobsters, Hacker News
🎯Arithmetic Coding Theory
Categories for Public Health Modeling
johncarlosbaez.wordpress.com·1d
✨Algebraic Effects
Learning
reddit.com·20h·
Discuss: r/golang
🧠Lisp Dialects
Defeating Nondeterminism in LLM Inference
simonwillison.net·1d
🤖Lisp Machines